Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings: 12288 (Lecture Notes in Computer Science, 12288)
by Nathalie Bertrand,Nils Jansen
ISBN 13: 9783030576271
Format: Paperback (311 pages) Publisher: Springer Published: 17 Aug 2020
Save for later